	cd $tmpdir
	
	# Download sources
	if [ ! -f "$isl" ]; then
		echo "Downloading ISL sources..."
		wget $islmirror/$isl
		tar -xf $isl
	fi
	
	# Configure and compile
	
	cd $islsrcdir
	
	./configure --prefix=$freondir
	
	make -j$corecount
	
	make install
	
	cd ..
